High-Performance Microkernels and Virtualisation on ARM and Segmented Architectures
نویسندگان
چکیده
This paper describes the techniques used to achieve high context-switching performance on ARM processors for the L4 microkernel and a para-virtualised Linux running on top. We examine how the previously-published techniques can be used in L4 with minimal changes to the kernel API. We also propose future API changes which make it easier to maximise memory-management performance, not only on ARM but also on architectures supporting a segmented memory model.
منابع مشابه
An Evaluation of Coarse-Grained Locking for Multicore Microkernels
The trade-off between coarseand fine-grained locking is a well understood issue in operating systems. Coarse-grained locking provides lower overhead under low contention, finegrained locking provides higher scalability under contention, though at the expense of implementation complexity and reduced best-case performance. We revisit this trade-off in the context of microkernels and tightly-coupl...
متن کاملTowards High-Assurance Multiprocessor Virtualisation
Virtualisation is increasingly being used in security-critical systems to provide isolation between system components. Being the foundation of any virtualised system, hypervisors need to provide a high degree of assurance with regards to correctness and isolation. Microkernels, such as seL4, can be used as hypervisors. Functional correctness of seL4’s uniprocessor C implementation has been form...
متن کاملPerformance Implications of Virtualisation of Massively Parallel Algorithm Implementation
In this paper we investigate the accuracy of performance prediction for virtu-alised implementations of parallel algorithms on massively parallel SIMD architectures. Virtualisation is the process by which algorithms which assume n processors are implemented in a system with p processors, where n > p. Virtualisation is implemented in some form by any parallel environment that allows algorithms t...
متن کاملReliability and Performance Evaluation of Fault-aware Routing Methods for Network-on-Chip Architectures (RESEARCH NOTE)
Nowadays, faults and failures are increasing especially in complex systems such as Network-on-Chip (NoC) based Systems-on-a-Chip due to the increasing susceptibility and decreasing feature sizes. On the other hand, fault-tolerant routing algorithms have an evident effect on tolerating permanent faults and improving the reliability of a Network-on-Chip based system. This paper presents reliabili...
متن کاملDycos -a Customizable Kernel Architecture Supporting Distributed Operating Environments 1 Introducing Terms of Customization for Os-kernels
Techniques of customizing and extending operating systems (OSs) have a growing impact on system architectures in the eld of distributed computing and parallel programming. Even if traditional methods of adaption have been limited to the user-level, modern OSs cannot do without kernel support. Hence concepts and structures of microkernel architectures must be redeened to meet the requirements of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007